Modelling and Verifying Coalitions using Argumentation and ATL
نویسندگان
چکیده
During the last decade argumentation has evolved as a successful approach to formalize commonsense reasoning and decision making in multiagent systems. In particular, recent research has shown that argumentation can be used to provide a suitable framework for reasoning about coalition formation: which coalitions can be formed using different argumentation semantics. At the same time Alternating-time Temporal Logic (ATL for short) has been successfully used to reason about the behavior and abilities of coalitions of agents. However, an important limitation of ATL operators is that they account only for the existence of successful strategies of coalitions, not considering whether coalitions can be actually formed. This paper is an attempt to combine both frameworks in order to develop a logical system through which we can reason at the same time (1) about abilities of coalitions of agents and (2) about the formation of coalitions. In order to achieve this, we provide a formal extension of ATL, called Coalitional ATL (CoalATL for short), in which the actual computation of the coalition is modelled in terms of argumentation semantics. Moreover, we integrate goals as agents’ incentive to join coalitions and examine the model checking complexity. Particularly, we show that model checking CoalATL is ∆2 -complete in the most natural cases.
منابع مشابه
Modelling coalitions: ATL + argumentation
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning about coalition formation. At the same time alternatingtime temporal logic has been used to reason about the behavior and abilities of coalitions of agents. However, ATL operators account only for the existence of succe...
متن کاملOn a Logic for Coalitional Games with Priced-Resource Agents
Alternating-time Temporal Logic (ATL) and Coalition Logic (CL) are well-established logical formalisms particularly suitable to model games between dynamic coalitions of agents (like e.g. the system and the environment). Recently, the ATL formalism has been extended in order to take into account boundedness of the resources needed for a task to be performed. The resulting logic, called Resource...
متن کاملA Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic
The aim of this paper is to provide a formal framework for Requirements Engineering modelling languages featuring agents, behavioural goals and operations as main concepts. To do so, we define Khi, a core modelling language, as well as its formal semantics in terms of a fragment of the multi-agent temporal logic ATL*, called ATLKhi. Agents in the sense of concrete and provided entities, called ...
متن کاملPower and Politics in the Global Health Landscape: Beliefs, Competition and Negotiation Among Global Advocacy Coalitions in the Policy-Making Process
Background Advocacy coalitions play an increasingly prominent role within the global health landscape, linking actors and institutions to attract political attention and resources. This paper examines how coalitions negotiate among themselves and exercise hidden forms of power to produce policy on the basis of their beliefs and strategic interests. Methods This paper examines the beliefs and ...
متن کاملCoalitional Games with Priced-Resource Agents
Alternating-time Temporal Logic (ATL) and Coalition Logic (CL) are well-established logical formalisms particularly suitable to model games between dynamic coalitions of agents (like e.g. the system and the environment). Recently, the ATL formalism has been extended in order to take into account boundedness of the resources needed for a task to be performed. The resulting logic is known as Reso...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial
دوره 14 شماره
صفحات -
تاریخ انتشار 2010